what does an infra manager do